Orthogonalité : existence d'un angle droit
(Angle droit)
Deux éléments \(f\) et \(g\) sont dits orthogonaux lorsque leur produit scalaire est nul
(Produit scalaire)
Définition :
Soit \(\sigma:E\times E\to{\Bbb K}\) une forme bilinéaire symétrique
On dit que deux vecteurs \(x,y\) sont orthogonaux, et on note \(x\perp y\) si $$\sigma(x,y)=\sigma(y,x)=0$$
(Forme bilinéaire - Bilinéarité, Fonction symétrique)
On dit que \(f\) est orthogonal à \(G\) si \(f\) est orthogonal à tous les éléments de \(G\)
Ensembles orthogonaux - Complément orthogonal
Soit \(H=\operatorname{Vect}(f_0,\ldots,f_n)\)
On dit que \(g\) est orthogonal à \(H\) si et seulement si \(g\) est orthogonale à \(f_i\) pour touts \(0\leqslant i\leqslant n\)
Formule d'orthogonalisation : $$y^\prime:={{y-\frac{\sigma(x,y)}{q(x)}x}}$$
On note \(f\;\bot\;g\) l'assertion "\(f\) est orthogonal à \(g\)"